Independence in Architectural Descriptions
نویسنده
چکیده
The purpose of this article is to show the suitability of asynchronous automata as the formal model for the specification of architectural patterns and particular architectures. Independence of actions, which occurs naturally in asynchronous automata, has direct relevance in architectural descriptions. We demonstrate this via a sequence of examples. The aim of this exercise is to identify a suitable formal model for architectures for teaching purposes. Towards this, we claim that asynchronous automata suffice.
منابع مشابه
Saliency Cognition of Urban Monuments Based on Verbal Descriptions of Mental-Spatial Representations (Case Study: Urban Monuments in Qazvin)
Urban monuments encompass a wide range of architectural works either intentionally or unintentionally. These works are often salient due to their inherently explicit or hidden components and qualities in the urban context. Therefore, they affect the mental-spatial representations of the environment and make the city legible. However, the ambiguity of effective components often complicates their...
متن کاملView Composition as a First-Class Concept in Architectural Descriptions
Our position is that architectural descriptions lack composition of views, preventing a proper separation of concerns. This position took shape from experiences with building several complex distributed software systems. Our claim is that view composition should be a first-class entity in architectural descriptions. As a first step, we propose an extension of the conceptual model of IEEE Recomm...
متن کاملباغ سعادتآباد اصفهان در آینۀ مثنوی گلزار سعادت
In the study of those historic monuments that are more or less ruined, the reflections and images in written historical manuscripts are of utmost importance. In these cases, any succinct references can be valuable and informative regarding to the historical status and architectural configuration and formal composition of these monuments. One of the less studied resources for architectural histo...
متن کاملA Concern-oriented Approach to Software Architecture
A major cause of many complications in the field of software architectures is the lack of appropriate abstractions for separating, combining and encapsulating concerns of various kinds in architectural descriptions. Architectures of most complex software-intensive systems involve concerns that inherently crosscut the natural boundaries of the elements composing the architecture descriptions. Cr...
متن کاملA Formal Approach to Architectural Descriptions - Refining the ISO Standard 42010
Architectural descriptions representing and modeling the architecture of a system or parts thereof are typically used in the engineering disciplines to plan, develop, maintain, and manage complex systems. Primarily originating from construction engineering, the means of architecting and architectural descriptions have been successfully transferred to related disciplines like software engineerin...
متن کامل